Non-clausal Resolution in Fuzzy Predicate Logic with Evaluated Syntax background and implementation

The presentation deals with the refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule. It is based on the Fuzzy Predicate Logic with Evaluated Syntax. There is also presented an unification algorithm handling existentiality without the need of skolemization. Its idea follows from the general resolution with existentiality for the first-order logic. When the prover is constructed it provides the deductive system, where existing resolution strategies and its implementations may be used with some limitations arising from specific properties of the FPL. Additionaly it presents recent advances in implementation of the above mentioned ideas through an experimental application- Fuzzy Predicate Logic GEneralized Resolution Deductive System. The application provides standard breadth-first search algorithm and also originally developed technique DCF (Detection of Consequent Formulas) that is able to significantly reduce the number of produced resolvents. The DCF method make the inference process practically usable since the standard breadth-firs

ECG Prediction Based on Classification via Neural Networks and Linguistic Fuzzy Logic Forecaster

The paper deals with ECG prediction based on neural networks classification of different types of time courses of ECG signals. The main objective is to recognise normal cycles and arrhythmias and perform further diagnosis. We proposed two detection systems that have been created with usage of neural networks. The experimental part makes it possible to load ECG signals, preprocess them, and classify them into given classes. Outputs from the classifiers carry a predictive character. All experimental results from both of the proposed classifiers are mutually compared in the conclusion. We also experimented with the new method of time series transparent prediction based on fuzzy transform with linguistic IF-THEN rules. Preliminary results show interesting results based on the unique capability of this approach bringing natural language interpretation of particular prediction, that is, the properties of time series

Pupils’ Opinions on Digital Systems Education Enriched by DCBLP Discourse

The article presents knowledge about the modified e-learning on-line synchronous teaching of digital systems, which took place in the period of widespread closure of schools during almost the entire school year 2020/2021 at a secondary school with an IT focus. The importance of teaching digital systems in computer science and the integration of teaching into available lessons is briefly clarified. Furthermore, the content of teaching is presented, including its modification by elements of programming by DCBLP discourse and links to existing knowledge about this use from previous years. The subject of research interest will be the specific effects of changes on students’ opinions regarding the content of the subject. For this purpose, a qualitative investigation based on the design of the grounded theory will be used. The work brings partial knowledge that can serve as additional material for the determination of other research questions, hypotheses and identification of potential problems in teaching. The results show the pupils’ interest in the digital systems enriched by the programming discourse reveals the possible perception of a long time distance learning in this area